[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 133 233 139 0 0 0 0 0

N.S.

1 0.98 1.71 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.291 0.152 0.944 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 154 81 0 0 0 0 0

N.S.

1 1.04 1.69 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.300 0.813 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 101 159 94 0 0 0 0 0

N.S.

1 1.04 1.64 0.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.257 0.088 0.832 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 44 42 0 0 0 0 0

N.S.

1 1.00 0.80 0.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.275 0.041 0.733 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 86 66 0 0 0 0 0

N.S.

1 1.00 1.46 1.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.362 0.033 0.777 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 0 0 12 12 12

N.S.

1 1.00 1.17 0.83 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.160 0.221 1.043 0.000 0.000 1.016 0.404 0.242

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 251 322 173 0 0 0 0 0

N.S.

1 1.07 1.37 0.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.743 1.128 1.007 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 167 203 107 0 0 0 0 0

N.S.

1 1.33 1.61 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.815 0.618 0.875 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 176 220 115 0 0 0 0 0

N.S.

1 1.41 1.76 0.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.872 0.579 0.855 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 94 61 56 0 0 0 0 0

N.S.

1 1.06 0.69 0.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.686 0.071 0.780 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 81 122 83 0 0 0 0 0

N.S.

1 1.07 1.61 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.422 0.153 0.842 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 0 0 12 12 12

N.S.

1 1.00 1.17 0.83 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.159 0.233 1.042 0.000 0.000 7.777 0.406 0.246

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 327 418 225 0 0 0 0 0

N.S.

1 1.24 1.58 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.691 7.374 1.066 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 247 264 139 0 0 0 0 0

N.S.

1 1.30 1.39 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.836 3.092 0.978 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 253 281 154 0 0 0 0 0

N.S.

1 1.32 1.47 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.084 1.840 0.922 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 132 75 73 0 0 0 0 0

N.S.

1 1.11 0.63 0.61 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.666 0.079 0.832 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 118 151 110 0 0 0 0 0

N.S.

1 1.12 1.44 1.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.558 0.790 0.803 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 0 0 12 12 12

N.S.

1 1.00 1.17 0.83 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.154 0.235 1.056 0.000 0.000 68.438 0.424 0.247

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 115 14 12 14 14

N.S.

1 1.00 1.17 1.00 9.58 1.17 1.00 1.17 1.17

time (sec)

N/A 0.313 0.578 2.383 0.702 0.257 5.391 0.652 0.256

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 115 14 12 14 14

N.S.

1 1.00 1.17 1.00 9.58 1.17 1.00 1.17 1.17

time (sec)

N/A 0.312 0.564 1.862 0.681 0.257 2.904 0.642 0.242

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 147 132 0 0 0 0 0 0

N.S.

1 0.98 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.332 1.413 0.000 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 54 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.201 0.036 0.000 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 14 14 10 14 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 0.83 1.17 1.17

time (sec)

N/A 0.166 0.369 2.144 0.335 0.236 0.391 0.405 0.251

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 156 14 12 14 14

N.S.

1 1.00 1.17 1.00 13.00 1.17 1.00 1.17 1.17

time (sec)

N/A 0.170 0.387 2.289 0.951 0.253 0.727 0.436 0.252

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 0 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.166 0.644 0.540 0.000 0.000 64.633 1.486 0.258

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 0 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.163 0.726 0.525 0.000 0.000 1.300 0.999 0.245

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 0 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.174 0.784 0.559 0.000 0.000 0.580 0.873 0.253

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 0 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.166 0.713 0.559 0.000 0.000 4.140 0.775 0.267

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 0 14 12 14 14

N.S.

1 1.00 1.17 1.00 0.00 1.17 1.00 1.17 1.17

time (sec)

N/A 0.164 0.586 2.872 0.000 0.262 4.075 0.824 0.251

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 162 130 287 0 0 0 0 0

N.S.

1 0.98 0.79 1.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.366 0.083 2.904 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 156 152 0 0 0 0 0 0

N.S.

1 0.96 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.348 0.140 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 86 74 138 0 0 0 0 0

N.S.

1 1.04 0.89 1.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.042 1.095 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 74 70 148 0 0 0 0 0

N.S.

1 0.99 0.93 1.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.257 0.030 0.871 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 0 12 8 12 12

N.S.

1 1.00 1.20 1.00 0.00 1.20 0.80 1.20 1.20

time (sec)

N/A 0.161 0.255 0.993 0.000 0.276 0.403 0.331 0.262

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 0 12 10 12 12

N.S.

1 1.00 1.20 1.00 0.00 1.20 1.00 1.20 1.20

time (sec)

N/A 0.162 0.648 0.770 0.000 0.252 0.561 0.320 0.258

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 16 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 1.14 1.00 1.00 1.00

time (sec)

N/A 0.168 1.920 0.486 0.000 0.258 162.715 0.595 0.250

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 14 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.166 3.152 0.563 0.000 0.268 3.963 0.595 0.251

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 20 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 1.43 1.00 1.00 1.00

time (sec)

N/A 0.165 1.288 0.889 0.000 0.255 1.617 0.471 0.267

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 12 0 20 14 14 14

N.S.

1 1.00 1.14 0.86 0.00 1.43 1.00 1.00 1.00

time (sec)

N/A 0.167 1.211 0.935 0.000 0.262 13.714 0.509 0.259

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 88 68 68 71 62 85 67 0

N.S.

1 1.16 0.89 0.89 0.93 0.82 1.12 0.88 0.00

time (sec)

N/A 0.210 0.045 0.178 0.287 0.247 0.303 0.279 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 63 55 60 60 54 70 56 0

N.S.

1 1.05 0.92 1.00 1.00 0.90 1.17 0.93 0.00

time (sec)

N/A 0.219 0.039 0.171 0.292 0.244 0.213 0.276 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 56 56 48 50 50 60 46 45

N.S.

1 1.10 1.10 0.94 0.98 0.98 1.18 0.90 0.88

time (sec)

N/A 0.182 0.030 0.216 0.289 0.258 0.198 0.279 0.332

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 32 31 32 29 31 29

N.S.

1 1.00 1.00 1.03 1.00 1.03 0.94 1.00 0.94

time (sec)

N/A 0.151 0.008 0.175 0.266 0.265 0.086 0.271 0.361

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 71 58 75 0 0 0 0 0

N.S.

1 1.13 0.92 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.333 0.021 0.954 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 43 37 47 92 41 347 33

N.S.

1 1.00 1.34 1.16 1.47 2.88 1.28 10.84 1.03

time (sec)

N/A 0.187 0.023 0.195 0.278 0.275 1.069 0.358 0.302

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 44 46 37 37 63 492 0

N.S.

1 1.00 1.13 1.18 0.95 0.95 1.62 12.62 0.00

time (sec)

N/A 0.175 0.025 0.178 0.271 0.249 0.815 0.285 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 79 61 69 121 119 1634 0

N.S.

1 1.00 1.27 0.98 1.11 1.95 1.92 26.35 0.00

time (sec)

N/A 0.204 0.027 0.206 0.264 0.263 1.961 0.586 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 110 121 125 142 111 175 143 0

N.S.

1 1.08 1.19 1.23 1.39 1.09 1.72 1.40 0.00

time (sec)

N/A 0.405 0.095 1.710 0.278 0.250 0.315 0.278 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 83 104 117 0 99 131 119 0

N.S.

1 1.09 1.37 1.54 0.00 1.30 1.72 1.57 0.00

time (sec)

N/A 0.381 0.140 0.723 0.000 0.253 0.275 0.285 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 52 76 74 73 65 87 75 96

N.S.

1 1.11 1.62 1.57 1.55 1.38 1.85 1.60 2.04

time (sec)

N/A 0.254 0.082 0.661 0.269 0.256 0.105 0.278 0.494

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 107 128 185 0 0 0 0 0

N.S.

1 1.16 1.39 2.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.468 0.089 1.145 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 86 134 179 0 0 0 0 0

N.S.

1 0.97 1.51 2.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.430 0.164 0.695 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 201 218 235 273 195 333 289 0

N.S.

1 1.13 1.22 1.32 1.53 1.10 1.87 1.62 0.00

time (sec)

N/A 0.774 0.132 2.374 0.284 0.259 0.411 0.318 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 185 211 0 169 269 231 0

N.S.

1 1.11 1.48 1.69 0.00 1.35 2.15 1.85 0.00

time (sec)

N/A 0.598 0.191 0.963 0.000 0.261 0.309 0.294 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 84 128 134 144 108 165 150 164

N.S.

1 1.02 1.56 1.63 1.76 1.32 2.01 1.83 2.00

time (sec)

N/A 0.324 0.126 0.773 0.273 0.251 0.157 0.324 0.503

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 145 204 325 0 0 0 0 0

N.S.

1 1.14 1.61 2.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.600 0.120 1.203 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 148 308 0 0 0 0 0 0

N.S.

1 0.98 2.04 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.622 0.220 0.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 105 91 102 0 0 0 172 0

N.S.

1 0.87 0.75 0.84 0.00 0.00 0.00 1.42 0.00

time (sec)

N/A 0.393 0.129 0.468 0.000 0.000 0.000 0.295 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 56 56 58 0 0 0 86 0

N.S.

1 0.89 0.89 0.92 0.00 0.00 0.00 1.37 0.00

time (sec)

N/A 0.442 0.057 0.411 0.000 0.000 0.000 0.291 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 50 46 49 0 0 0 50 0

N.S.

1 0.93 0.85 0.91 0.00 0.00 0.00 0.93 0.00

time (sec)

N/A 0.354 0.052 0.491 0.000 0.000 0.000 0.285 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 15 12 0 16

N.S.

1 1.00 1.14 1.00 1.14 1.07 0.86 0.00 1.14

time (sec)

N/A 0.171 0.252 1.470 0.336 0.240 0.750 0.000 0.287

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 19 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.36 1.00 1.14 1.14

time (sec)

N/A 0.177 2.815 0.603 0.338 0.236 0.742 0.578 0.291

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 139 124 147 0 0 0 615 0

N.S.

1 0.90 0.80 0.95 0.00 0.00 0.00 3.97 0.00

time (sec)

N/A 0.343 0.622 0.576 0.000 0.000 0.000 0.320 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 87 80 78 0 0 0 323 0

N.S.

1 0.96 0.88 0.86 0.00 0.00 0.00 3.55 0.00

time (sec)

N/A 0.431 0.313 0.527 0.000 0.000 0.000 0.317 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 81 72 74 0 0 0 193 0

N.S.

1 0.94 0.84 0.86 0.00 0.00 0.00 2.24 0.00

time (sec)

N/A 0.539 0.176 0.648 0.000 0.000 0.000 0.295 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 166 30 14 16 16

N.S.

1 1.00 1.14 1.00 11.86 2.14 1.00 1.14 1.14

time (sec)

N/A 0.171 7.272 1.177 0.596 0.242 1.209 0.551 0.283

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 181 36 15 16 16

N.S.

1 1.00 1.14 1.00 12.93 2.57 1.07 1.14 1.14

time (sec)

N/A 0.175 56.932 0.631 0.707 0.234 1.116 0.816 0.278

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 248 169 290 0 0 0 1479 0

N.S.

1 1.26 0.86 1.47 0.00 0.00 0.00 7.51 0.00

time (sec)

N/A 1.367 0.358 0.484 0.000 0.000 0.000 0.391 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 135 107 158 0 0 0 860 0

N.S.

1 1.04 0.82 1.22 0.00 0.00 0.00 6.62 0.00

time (sec)

N/A 1.032 0.227 0.440 0.000 0.000 0.000 0.327 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 89 139 0 0 0 481 0

N.S.

1 1.00 0.80 1.25 0.00 0.00 0.00 4.33 0.00

time (sec)

N/A 0.643 0.196 0.547 0.000 0.000 0.000 0.301 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 251 45 14 16 16

N.S.

1 1.00 1.14 1.00 17.93 3.21 1.00 1.14 1.14

time (sec)

N/A 0.175 2.629 1.658 2.399 0.248 1.809 0.849 0.283

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 284 53 15 16 16

N.S.

1 1.00 1.14 1.00 20.29 3.79 1.07 1.14 1.14

time (sec)

N/A 0.178 24.820 1.928 2.895 0.239 1.720 1.471 0.304

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 238 229 362 0 0 0 1057 0

N.S.

1 0.98 0.95 1.50 0.00 0.00 0.00 4.37 0.00

time (sec)

N/A 0.755 0.331 1.894 0.000 0.000 0.000 0.958 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 132 117 186 0 0 0 448 0

N.S.

1 0.96 0.85 1.36 0.00 0.00 0.00 3.27 0.00

time (sec)

N/A 0.571 0.221 1.840 0.000 0.000 0.000 0.687 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 117 122 186 0 0 0 531 0

N.S.

1 0.97 1.01 1.54 0.00 0.00 0.00 4.39 0.00

time (sec)

N/A 0.648 0.090 1.835 0.000 0.000 0.000 0.557 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 14 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.88 1.00 1.00

time (sec)

N/A 0.184 1.508 1.181 0.545 0.000 0.452 0.919 0.254

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 15 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.00

time (sec)

N/A 0.194 7.217 1.214 0.551 0.000 0.407 0.970 0.273

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 423 555 548 0 0 0 1967 0

N.S.

1 1.35 1.77 1.75 0.00 0.00 0.00 6.28 0.00

time (sec)

N/A 2.170 7.075 2.033 0.000 0.000 0.000 1.709 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 178 145 281 0 0 0 845 0

N.S.

1 1.03 0.84 1.63 0.00 0.00 0.00 4.91 0.00

time (sec)

N/A 1.567 0.519 1.955 0.000 0.000 0.000 0.998 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 156 289 278 0 0 0 993 0

N.S.

1 0.98 1.82 1.75 0.00 0.00 0.00 6.25 0.00

time (sec)

N/A 0.772 1.961 2.068 0.000 0.000 0.000 1.181 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 14 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.88 1.00 1.00

time (sec)

N/A 0.190 0.684 1.189 0.637 0.000 15.353 1.009 0.270

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 15 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.00

time (sec)

N/A 0.192 7.140 1.195 0.647 0.000 3.131 1.065 0.258

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

358 473 956 798 0 0 0 2778 0

N.S.

1 1.32 2.67 2.23 0.00 0.00 0.00 7.76 0.00

time (sec)

N/A 2.605 10.530 2.321 0.000 0.000 0.000 2.378 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 223 187 408 0 0 0 1307 0

N.S.

1 1.03 0.87 1.89 0.00 0.00 0.00 6.05 0.00

time (sec)

N/A 1.229 0.943 2.010 0.000 0.000 0.000 1.288 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 178 372 401 0 0 0 1177 0

N.S.

1 0.99 2.08 2.24 0.00 0.00 0.00 6.58 0.00

time (sec)

N/A 0.968 1.404 2.075 0.000 0.000 0.000 1.585 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 14 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.88 1.00 1.00

time (sec)

N/A 0.189 0.788 1.233 0.756 0.000 38.817 1.109 0.261

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 15 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.00

time (sec)

N/A 0.188 6.913 1.159 0.763 0.000 24.824 1.146 0.275

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 219 225 198 0 0 0 317 0

N.S.

1 0.98 1.01 0.89 0.00 0.00 0.00 1.42 0.00

time (sec)

N/A 0.465 0.316 2.069 0.000 0.000 0.000 0.480 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 98 85 91 0 0 0 132 0

N.S.

1 0.99 0.86 0.92 0.00 0.00 0.00 1.33 0.00

time (sec)

N/A 0.536 0.217 1.341 0.000 0.000 0.000 0.407 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-2) F C F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 104 118 89 0 0 0 159 0

N.S.

1 1.02 1.16 0.87 0.00 0.00 0.00 1.56 0.00

time (sec)

N/A 0.466 0.079 1.296 0.000 0.000 0.000 0.351 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 15 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 1.00 1.00

time (sec)

N/A 0.181 1.307 1.180 0.593 0.000 0.448 0.583 0.253

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 17 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 1.06 1.00 1.00

time (sec)

N/A 0.184 7.387 1.171 0.618 0.000 0.570 0.647 0.277

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 257 273 299 0 0 0 0 0

N.S.

1 1.02 1.08 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.452 0.365 2.073 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F(-2) F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

130 133 0 157 0 0 0 0 0

N.S.

1 1.02 0.00 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.564 0.000 1.961 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F F(-2) F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

137 138 0 157 0 0 0 0 0

N.S.

1 1.01 0.00 1.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.690 0.000 1.958 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 15 0 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 0.94 0.00 1.00

time (sec)

N/A 0.188 1.182 0.924 0.595 0.000 1.814 0.000 0.275

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 14 16 0 17 16 16

N.S.

1 1.00 1.12 0.88 1.00 0.00 1.06 1.00 1.00

time (sec)

N/A 0.191 7.337 1.364 0.587 0.000 2.503 1.155 0.264

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 425 322 673 0 0 0 0 0

N.S.

1 1.46 1.10 2.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.859 1.885 2.201 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B F F(-2) F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

180 188 0 340 0 0 0 0 0

N.S.

1 1.04 0.00 1.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.336 0.000 2.077 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F B F F(-2) F F F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

163 171 0 341 0 0 0 0 0

N.S.

1 1.05 0.00 2.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.818 0.000 2.093 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]